<?php

/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
session_start();
$ds = DIRECTORY_SEPARATOR;
$site = "DivSoft";
$_SESSION['debug'] = TRUE;
function logout() {

    session_start(); //Inicia dados de sessão
    session_unset(); //Libera todas as variáveis de sessão
    session_destroy(); //Destrói todos os dados registrados em uma sessão

    header("Location: index.php");
}

?>
